Fix bug #15913 with disappearing mouse highlight on MS-Windows.
authorEli Zaretskii <eliz@gnu.org>
Sun, 17 Nov 2013 21:02:09 +0000 (23:02 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sun, 17 Nov 2013 21:02:09 +0000 (23:02 +0200)
commitf8468f6376be4fa00c9b996d3ba456e38bf14eb6
treef242ce9e88b85e14ce350f4e64f03a8060d5aa47
parent0fdbcd7af7d8efb747ab86a412c50a02bcebeee7
Fix bug #15913 with disappearing mouse highlight on MS-Windows.

 src/w32term.c (x_update_window_end): Don't invalidate the entire
 mouse-highlight info, just signal frame_up_to_date_hook that mouse
 highlight needs to be redisplayed.
src/ChangeLog
src/w32term.c